Automata and formal languages have shown their importance for the devel-opment of computer science and its programming languages as well as softwares, moreover, they become extensively applied to the field such as life sciences, bio-chemistry, psychology and linguistics. 自动机与形式语言理论对于计算机系统及其语言、软件的发展具有重要的影响,它还广泛的用于生命科学,生物化学,心理学,语言学等学科。